（来源：上观新闻）
Claude C☝🇷🇼ode、Gem💺📬ini CLI、🤧CodeB🔗💒uddy🎿……一🚊个自然😲❔的问题🇿🇦🍵浮现：GUI智🇵🇹💽能体还有📬👾必要吗？ 研🤤♏究团队倾向于认为🏰🚕：GU🌛🍤I的故事远没💂♀️🐳有结束，C🇵🇳LI+GUI的融🚸♐合或许是🚍☁通往通用Agen🇦🇸t的一条重🐦👗要路径💑🎟。就比如这台，主打🛣🥓「数字排毒」的🇪🇨手机—— Me🧙♀️👒ado🗃🐦w Pho⭕ne Mead◽👨👦ow Phone〽👲 第一眼看过去，🈴👷大伙就能🎣感觉到🔹🎉。
研究团队通🇮🇲过对AI内🚈部数百个"🇧🇷🎒注意力头"（可💇♂️😺以理解🇧🇮为AI大脑里同🇳🇪☸时运作📈🇫🇷的许多个"小专👩🇪🇺家"，每个专家🤕🚝负责关注🧵画面的不同侧面🤹♂️🕡）进行系📍📨统分析，发😇现只有🛬极少数几个注意力🏰🇪🇪头天然🐲地具备"物体边界👮♀️👨🦱感知"能力🇨🇻🌫。然而，🦡👩💻最终实🗽↘现这一目标的压力🌍正在不断增📓加🚉🐰。图丨从左至右分🇸🇧别是：王肇国、陈🇮🇸海波和丁浩然（来💕🐿源：受访🈺🤸♂️者） 跳出“🇻🇺🇵🇱将错就错”：👨🔬👑AI 开始⛺🇫🇴从需求验证代🎏码 那么，F📥M-Ag⬅ent🌥💁♂️ 是如💯何将形式化方法🅰🍥用于大规模系统🇸🇷🥨的？要🦵😵理解这🇸🇿🌠个问题，我们得先🇩🇯😱回溯到图灵奖得主🇬🇵↖托尼·霍尔（To👯♂️🚫ny Hoar🆑🎯e）早在 20🇧🇸 世纪 60 🤤年代为代码📑🤤验证指明的方向🇬🇫🇩🇰——组合式推🦟理（Co🥳mposit👣iona⛽◽l Reason↙🌯ing）🏜。
